Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
521	Constraint-based Optimization and Utility Elicitation using the Minimax Decision Criterion Craig Boutilier a,∗, Relu Patrascu a,1, Pascal Poupart a,2, Dale Schuurmans c,1 a Department Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2006-03-27 17:57:41 Theoretical computer science Operations research Microeconomics Applied mathematics Constraint satisfaction Constraint optimization Constraint Utility Linear programming Constraint programming Mathematical optimization Software engineering
522	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
523	Incremental Analysis of Constraint Logic Programs MANUEL HERMENEGILDO and GERMAN PUEBLA Universidad Polit´ecnica de Madrid KIM MARRIOTT Monash University and Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:20:28 Logic programming Constraint logic programming Algorithm Prolog Function Graph Mathematical optimization Priority queue Mathematics Constraint programming Software engineering
524	Global optimization and constraint satisfaction Arnold Neumaier University of Vienna Vienna, Austria Add to Reading List Source URL: solon.cma.univie.ac.at Language: English - Date: 2006-12-06 02:13:41 Global optimization Constraint satisfaction problem Constraint satisfaction Optimization problem Applied mathematics Theoretical computer science Mathematics Mathematical optimization Constraint programming Operations research
525	Utility English version – SOSI standard 4.0 Utility English version – SOSI standard 4.0 Utility English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:32 Constraint programming ECO
526	Converting MiniZinc to FlatZinc Version 1.3 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-02-10 23:26:00 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
527	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:25 Data types Computing Pointing stick Subtype polymorphism Constraint programming Software engineering Type theory Object-oriented programming
528	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
529	Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-05-07 20:34:22 Model theory Formal languages Constraint programming Logical syntax Interpretation Constructible universe Well-formed formula Satisfiability Function Logic Mathematics Mathematical logic
530	Specification of FlatZinc Version 1.2 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 C programming language Data types C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing

UPDATE